<?php echo htmlspecialchars_decode($json); ?>